A localized version of the basic triangle theorem. - G. Duchamp; Nihar Gargava (CoRR, 2019)