theorem :: XPRIMES2:4947

canceled;