through theorem I:6.3.1