theorem :: XPRIMES0:937

canceled;