theorem :: XPRIMES2:947

canceled;