axiom 4:

1-1 cikk megjelenítése a(z) 1-ből a keresett kifejezésre