theorem :: XPRIMES0:743

canceled;