18 A one-line proof of the Finsler-Hadwiger inequality | Synapse