Denna grundsats kan kortastuttryckas