theorem :: XPRIMES0:31

canceled;