900 元预算，过气旗舰和入门机哪个好？

为了体验鸿蒙 4 在五年前华为旗舰上是什么感受，我特意花了 900 元买了一台二手 Mate 20 Pro，但是可惜的是没赶上公测报名。不过手机也不能闲着，我想到了去年底发布的 Redmi 13C，顶配也就 1000 元的样子，我就有点好奇了，都是 900 块钱，一个 5G，一个 4G，Redmi 13C 和华为 Mate 20 Pro 哪个更值得买？