数学的には>>23と定理9ですかね。