theorem :: XPRIMES2:5758

canceled;