Page "Smith normal form" Paragraph 1

Let A be a nonzero m × n matrix over a principal ideal domain R. There exist invertible and-matrices S, T so that the product S A T is