Continuing Joop's answer, you can introduce a new symbol D to eliminate the ambiguity around B --> B @ B :
確定! 回上一頁