Improve steering functions theorem