theorem :: XPRIMES2:4954

canceled;