theorem :: XPRIMES2:5896

canceled;