theorem :: XPRIMES2:3727

canceled;