theorem :: XPRIMES0:719

canceled;