verification of archimedes