Första bewiset lyder sälunda: