En grundsats , som bör waraden