theorem :: XPRIMES2:3666

canceled;