add corollary explicitly  proving closed intervals are microstable to SIA 2