Tao Theorem 5.1, Type I half