Dini's theorem · Prove2Me