copilotproof of factorization theorem - Search