`  == The essence does not belong to the lead ==  The essence of Pigenhole principle is to obscure the basic trivial principle, ``maximum ≥ average``. Yet, this remark was removed from the intro with a note that it belongs to somewhere else. I do not understand why short and valuable simplification of the definition belongs somewhere else and, furthermore, doesn't Wikipedia prescribe to keep simple definitions for the general population with prefer add/rewirte over remove rule? Is there such rule? Why materials are always removed in the first place, even faithful and valuable ones?   `