wenzelの式より、