Proving the Messianic Prophecies