started my part
until theorem 3.5