5.124 A proposition asserts every proposition which follows from it.