Eskűtétel (9)