Ez így rendben is van. Ez a szükséges és elégséges feltételrendszer.