theorem :: XPRIMES2:1410

canceled;