5.124

A proposition asserts every proposition which follows from it.

352