i think you left a lot of holes in this theorem. for instance, if you are 3betting an UTG raise, or UTG+1 raise and get 4 bet, than i dont think your theorem would apply very well. also you didnt specify as to whether you are getting 4 bet oop or ip.