theorem :: XPRIMES2:7696

canceled;