>>552
> a = 0^0 を代入することで

0^0=0なら代入できないのでそうでない限りという但し書きを取れない