Talk:Greibach's theorem