theorem :: XPRIMES0:947

canceled;