proof of the factor theorem - Search