theorem :: XPRIMES2:2954

canceled;