数列(a_i)_iが、
nの倍数mに対して(a_n)/n = (a_m)/m を満たす
⇒ある定数cが存在し、a_i=ci
は成り立ちますか？

成り立つとは思うのですが、証明を教えて下さい。