copilotfactorise using factor theorem - Search