theorem :: XPRIMES2:1308

canceled;