theorem :: XPRIMES0:37

canceled;