Are There Easy-to-Check Necessary and Sufficient Conditions for Straightforward Interval Computations To Be Exact?

We prove that no "efficient" (easy-to-check) necessary and sufficient conditions are possible for checking whether straightforward interval computations lead to the exact result