theorem :: XPRIMES2:7896

canceled;