>>887
4文字だと証明が大変そうだけど、いい方法あるんですか?