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