finnes så följer deraf allt annat med nödvändighet.