矛盾ない。
面白い。
先に進めるなら、(ii) は分母がゼロでないチェックを入れるべきだが。