無理も何も>>219>>225ですでに証明されているんですが(笑)