Faustus denies that the prophets predicted Christ. Augustin proves such prediction from the New Testament, and expounds at length the principal types of Christ in the Old Testament.