INCLUDED SIDE THEOREM