Den första grundsatsen lyder sålunda: