theorem :: XPRIMES0:683

canceled;