first proposition stated