Oh, cool, I forgot that one. Thanks! Especially nice is the symmetry argument instead of the tedious angle-chasing, although the angle-chasing technique generalises.