theorem :: XPRIMES2:7405

canceled;