assuming that

1.

と仮定すると