二元算機不等是的一個無字證明