theorem :: XPRIMES2:4240

canceled;