theorem :: XPRIMES0:397

canceled;