theorem :: XPRIMES2:6405

canceled;