elegant proof