おお、「「貧すれば鈍する」と言うなら死んでしまえ」と言うことは、「貧していて鈍しているなら死ぬしかない」と言うことと同じである。ああ、(A -> B) -> C と A & B -> C は同じだってことですね！ ちゃんと実例があるじゃないですか！