Tag - Taylor theorem proof