finished theorem 1
added visualization