っていうか、次の条件だけだとkの存在は証明できないよね？
・i i = -1
・j j = -1
・i j = -j i
どこをどうやったら、自動的になるんだ？