@lennstar: Now please prove