theorem :: XPRIMES0:41

canceled;