自明でない命題に対する簡潔で明瞭な証明ほど見事なものは、他にない。