Int Value Theorem