Thread
:
Structural Induction on Sets
View Single Post
thy
#
3
Feb5-12, 02:00 PM
P: 5
Quote by
lavinia
You just get powers of 2 from the recursion not any even number.
substituting 2n into x? So it becomes (2n) ^2?
I don't really get it...