Bender (1970) used Bender's method to give a simpler proof.
Helmut Bender käytti Benderin metodia antamaan yksinkertaisemman todistuksen.