按幾何推理論證法：

假設：昨夜仇是“甲”，隔了一夜，生出了一個新仇“乙”，於是，今日之仇是“甲” + “乙” = “甲乙”。
因為：“甲”《》“甲乙”。
所以：昨夜仇《》今日仇。
因此：“沒有隔夜仇”的公理成立