条件： 复习=不挂科。 不复习=挂科。
求证： 复习=挂科
证明： ∵ 复习=不挂科 不复习=挂科（已知）
∴ 复习+不复习=挂科+不挂科（等量代换）
提取公因式得：（1+不）复习=（1+不）挂科
约去公因式得： 复习=挂科
∴ 不+复习=不+挂科
即 不复习=不挂科
真理诞生