Dadas as hipóteses em que: a) um dos cônjuges descobre, após o casamento, que o outro é portador do vírus HIV, contraído anteriormente ao matrimônio; e b) o marido toma conhecimento do defloramento da mulher, ocorrido antes do casamento (error virginitatis), é lícito afirmar tratar-se, respectivamente, de casamento