theorem :: MEASURE5:10

diameter {} = 0. by Def6;