Farkas lemmától az EP-tételekig