theorem :: XPRIMES0:661

canceled;