linear property of first theorem