Re:>201 割り算は写像(一価律をみたす二項関係)ではない、といってみるテスト。