theorem :: XPRIMES2:752

canceled;