Den första grundsatsen är onekligendon