basics.v
Induction
hw2