多分複素数の掛け算のイメージからだろうけど循環論法にはならないのかな