theorem :: XPRIMES0:613

canceled;