Przykład niełatwych dowodów rachunku predykatów: zamiana kwantyfikatorow.