theorem :: XPRIMES2:1518

canceled;