https://9lib.org/document/q2n0690j-zasada-szufladkowa-dirichleta.html