cases in proof