Then the formula Cold(r)→High(t) is true for any t and therefore any t gives a correct control given r.
سپس فرمول Cold (r) → High (t) برای هر t صادق است و بنابراین هر t به کنترل r صحیح می‌دهد.