Denna grundsats har Grévyali