  A combinatorial proof of a pigeonhole principle of Gowers is found along with
its symmetric and approximate version, FIN$_k^\pm$ theorem. The proofs do not
use of the concept of ultrafilter.

Combinatorics