theorem :: XPRIMES2:7828

canceled;