Sure you can use the simpler version heuristically, but the OP's claim is that it is only a heuristic and not a valid logical inference. I'm saying we now have proof that it is logically valid to claim that one should prefer theories with fewer assumptions, all else being equal.