>>349
この場合はむしろ一緒だと証明すべき。