"proof by exhaustion" - related articles and key terms