アルキメデスの原理
Assuming Archimedes' principle to be reformulated as follows,