We use induction on . If is empty , then the theorem is vacuously true and the base case for induction is verified .
If this is true , we use induction on , then the theorem is vacuously empty and the base case for induction is verified .