theorem :: XPRIMES2:5296

canceled;