theorem :: XPRIMES2:757

canceled;