数って不思議だよな
PCでよく使う２の倍数、512とか2048とか
２の倍数なのに５で割って10をかけると次の倍数になったりね
なんとなくそんなものをよく見つけるけど
証明はたぶん簡単なんだけども