induction proof for p1 finished....maybe :/