Böhm-en teorema