Απο (β) ---> αντικαθιστας στο (α) ---> ατοπο.

οπερ εδειχθη