ARŞİMET İLKESİ, bk. ARKHİMEDES İLKESİ