Exhaustive enumeration is a proof even if it's not very satisfying :-). For example, a big part of the Four colour theorem is a big enumeration of all configura

Exhaustive enumeration is a proof even if it's not very satisfying :-). For example, a big part of the Four colour theorem is a big enumeration of all configurations.