theorem :: XPRIMES2:7996

canceled;