copilotproof of the factor theorem - Search