Formalized mathematics a computer assisted approach.