5.122

Quand p suit de q, le sens de « p » est contenu dans le sens de « q ».