Dessa satser må synas högst triviala ,men