On how many prophets were the heavenly books revealed?