theorem :: XPRIMES2:7830

canceled;