theorem :: XPRIMES2:269

canceled;