theorem :: XPRIMES2:3672

canceled;