(Theorem 4 of Chapter 2).
(Syntaxis quyển 4 chương 2.).