theorem :: XPRIMES2:7820

canceled;