theorem :: XPRIMES2:1401

canceled;