@kitani: Nice way to proof