Tonelli Direct Method Theorem