Verification and explanation of factoring