体積は保存されないが、たしかRobinsonが
（どのRobinsonか分からないのだけどｗ）
5個でOKな事を証明していたと思う。
ただ、例えば有理点と無理点に分けるような類の操作が必要。