深海潜ると圧力で小さくなるんだっけ?