theorem :: XPRIMES2:7666

canceled;