Completed pigeonhole_principle