>>554
代入できないなら、0^0=0 が否定されるだけでは?