Good mathematics should be a joy to write. Hence, any proof involving the word "minimum" is good maths. #whatsacontrapositivebytheway