Structure theorem for finitely generated modules over a principal ideal domain
 
x
OK