タイトルが同じになれば合同になると仮定すると
1)tcsh=xterm
2)bash=xterm
3)tcsh=bash
だが3は明らかに偽よって仮定が誤りである。
よってタイトルが同じであっても合同ではない