theorem :: XPRIMES2:7770

canceled;