On stable finiteness of group rings

For an arbitrary field or division ring $K$ and an arbitrary group $G$, stable finiteness of $K[G]$ is equivalent to direct finiteness of $K[G\times H]$ for all finite groups $H$.