13) É necessária a efetiva comprovação do recolhimento feito a maior ou indevidamente para fins de declaração do direito à compensação tributária em sede de mandado de segurança. (Tese julgada sob o rito do art. 543-C do CPC/73 TEMA 118) (Súmula n. 213/STJ)