But it looks like Down Payment doesn't affect the result conditioned on holding the Mortgage Rate constant. I'm not so sure that's a good assumption. I imagine the down payment strongly affects the mortgage rate you'd get.

The M-M theorem is one of those pretty void theorems that says "in the absence of all real world factors, two abstsct models are mathematically equivalent structures".