Prämisse

f =, -n

предпосылка