Формула и доказательство объёма усечённого конуса