証明、仮定よりaを微分可能とするのブログ