>>144
本当。
証明可能。