theorem :: XPRIMES2:1503

canceled;