proof finished (in concrete case)! (a bit messy, though)