▪ Ευθύ - Αντίστροφο

Όταν το αντίστροφο ενός θεωρήματος μπορεί να αποδειχθεί είναι αδύνατο το ίδιο το θεώρημα να μη μπορεί να αποδειχθεί .

Πρόκλος (410 – 485)