A proof of the DDVV conjecture and its equality case | Synapse