Tolong jelaskan mengenai Prinsip rumah burung

Prinsip rumah burung menyatakan bahwa untuk dua bilangan asli  dan , , jika  burung ditaruh di dalam  rumah atau kotak, maka paling sedikit satu kotak berisi lebih dari satu burung. Secara lebih formal, dapat dikatakan bahwa tidak ada fungsi satu-satu pada himpunan terhingga yang memiliki kodomain lebih kecil daripada domain.

Prinsip ini pertama kali dinyatakan oleh Dirichlet pada 1834 dan diberi nama Schubfachprinzip (prinsip rak). Dalam beberapa bahasa, prinsip ini disebut prinsip Dirichlet.