<問題> 行列が単位行列であるかどうか検査する述語 単位行列/1 を定義せよ。