Text this: Mathematical verification of summary formula in retinal vessel diameter measurement