theorem :: XPRIMES2:1279

canceled;