Homotopy Invariance of $K$-groups using Grayson's Technique

Homotopy invariance of $K$-theory has always been a point of interest. In this article, with the help of the generators of Nil$K$-groups using Grayson’s technique, it is shown that if $R$ is a Prüfer domain, then $K_n(R)\cong K_n(R[s])$ for all $n>0.$ This is a specific case of the already published work of the author and Vivek Sadhu. However, contrary to the method used before, we specifically prove the isomorphism by showing that Nil$K$-groups vanish.