Any derivation has only one final conclusion, which is the statement proved or derived.
Οποιαδήποτε παραγωγή έχει ένα μόνο τελικό συμπέρασμα, που είναι και η πρόταση που αποδεικνύεται ή παράγεται.