3秒ぐらい???ってなったから、自明ではないと思う
簡単に導けるけど