そういえばredmi 4 proとredmi4 primeって言い方が違うだけで同じもの?