theorem :: XPRIMES1:1405

canceled;