proofs by exhaustion
English
Noun
proofs
by
exhaustion
plural of
proof by exhaustion