Proof, in the strict logical/mathematical sense, of facts about models is an important component of science (it's a big part of how, among other things, you derive falsifiable predictions from models), and this is strict sense proof of an implication of a model.