I understand Meelo's argument now -- it's a relatively simple induction. Ok so I'm done with this post :-) Thanks to pjs36, Calum and Meelo.