theorem :: XPRIMES2:1508

canceled;