四面体の外接球が存在することの確認