A proof of the DDVV conjecture and its equality case - Jianquan Ge; Zizhou Tang (2008)