theorem :: XPRIMES2:1262

canceled;