（タイプ Pe）＋（０個以上のループ）という経路のうち 最長のもの（ニセ最長経路）はすぐ求まる →明らかに（ニセ最長経路）≧（真の Pe 最長経路）
もしも（Pe のニセ最長経路）＜（真の Lee 最長経路）が示せれば、 タイプ Pe にもはや望みはない！ →実際、これは示せた