theorem :: XPRIMES2:5954

canceled;