>かに
そうではない…。もちろん計算理論での話だ。
aを傍観者は知っている。