谜面:合同作废 (打一数学用语)