He used these laws .
He was the first astronomer to successfully predict a transit of Venus ( for the year 1631 ) .
Using these laws , he was the first astronomer to successfully predict a transit of Venus ( for the year 1631 ) .