proved pigeonhole principle (using Principle of Excluded Middle).