Adding a program of pigeonhole principle