こんな感じだと思います。

ただし、厳密な証明ではないらしいです。本格的に証明すると激難なんだとか。