redmi note 9s とredmi k40　ってディスプレイサイズ一緒かな？調べたら同じっぽいけど。9sのガラスフィルム余ってるから転用したい。