theorem :: XPRIMES2:1253

canceled;