Den första stora grundsats,