$\tau(c_1,\varphi_1)\cong\tau(c_2,\varphi_2)$ iff $c_1=c_2$ and $\varphi_1-\varphi_2$ is constant

Initializing...

$\tau(c_1,\varphi_1)\cong\tau(c_2,\varphi_2)$ iff $c_1=c_2$ and $\varphi_1-\varphi_2$ is constant · Prove2Me