Um homem de 25 anos, portador de HIV há 2 anos, em consulta com o infectologista no ambulatório de DST-Aids, queixou-se de estar há alguns dias com tosse, falta de ar, perda de peso e febre baixa intermitente. A suspeita inicial do médico foi de criptococose pulmonar, uma doença muitas vezes sem relevância clínica, mas que pode ter graves sintomas em pacientes imunocomprometidos. Sobre a criptococose pulmonar e seu diagnóstico laboratorial, é correto afirmar que