Inducție structurală

Demonstrați următoarele proprietăți folosind inducție structurală:

1. $ \forall l \in List. reverse(reverse(l)) = l$

2. $ \forall r \in Ring, size(move(r)) = size(r)$

3. $ \forall i \in \mathbb{N}, \forall r \in Ring, element(i,move(r)) = element(i+1,r)$