Lý Thuyết Mặt Cầu Ngoại Tiếp Hình Lập Phương, Công Thức Tính Mặt Cầu Ngoại Tiếp Hình Lập Phương