. . . . . . . "proof by exhaustion"@en . . . . . . . . . . . . . . . . . . . . . . . . . .