Não são considerados exportados os serviços:
a) desenvolvidos no exterior;
b) desenvolvidos no Brasil, cujo resultado se verifica no exterior.
