>>561
>>564 により、0^(-1) = 0 と考えることで
「代入できないなら」という前提が否定された。
これだと >>555 の命題は否定できないし、
「0^0=0 が否定される」理由も答えられなくなったかな。