theorem :: XPRIMES2:1281

canceled;