και έτσι δεν αλλάζει η αξία του κλάσματος. Έπειτα είναι
για κάθε
και το ίσον ισχύει μόνο για
κλπΕπιστροφή στην ειδική αναζήτηση
και έτσι δεν αλλάζει η αξία του κλάσματος. Έπειτα είναι
για κάθε
και το ίσον ισχύει μόνο για
κλπ
είναι παραγωγίσιμη στο
και
μέγιστη τιμή της συνάρτησης, τότε κατ'ανάγκη θα είναι 
