theorem :: XPRIMES2:257

canceled;