ファルコンの定理ってどうやって証明するの?