theorem :: XPRIMES2:7766

canceled;