theorem :: XPRIMES2:1947

canceled;