theorem :: XPRIMES2:665

canceled;