构造下列推理的证明。
如果他是计算机专业学生，他必修离散数学。如果他不是工商管理专业的学生，他必是计算机专业的学生。他没修离散数学。所以他是工商管理专业的学生。