Se for verdadeira a afirmação “alguns softwares gratuitos são livres, mas nem todos, e existem softwares
livres que não são gratuitos, porém todo software que não é livre é proprietário”, então também será
verdade que “existe um software proprietário que é gratuito”.