theorem :: XPRIMES2:405

canceled;