theorem :: XPRIMES2:7790

canceled;