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”.