up to theorem 4.6.3