Redirecting to Structure theorem for finitely generated modules over a principal ideal domain