>>801
式変形で導出しないといけない