copilotproof of factorization theorem - Search
Refresh