theorem :: XPRIMES2:9948

canceled;