theorem :: XPRIMES0:647

canceled;