Integrability of Multivariable Continuous Functions (Formalized Mathematics, 2025)