från Darmstadt föreslog antagandet af efterföljande satser: