>>801
同型とは具体的には何というモデル?