theorem :: XPRIMES0:43

canceled;