Linear RNNs Provably Learn Linear Dynamic Systems