要点は、彼が3 BTCを返すとしても、各人が置くのは9ではなく、およそ9.33ということです。だから、1 BTCが足りないはずで、その理由は計算を9で丸めてしまうからです。