theorem :: XPRIMES2:6503

canceled;