변수 정리