theorem :: XPRIMES0:941

canceled;