theorem :: XPRIMES2:6666

canceled;