graph theory:pigeonhole principle