started proving theorem-1