\section{DeltaM が Monad 則を満たす証明}

