proof by cases

[ریاضیات] دلیل به طریقه ی حالات، برهان به روش حالت ها