theorem :: XPRIMES0:653

canceled;