I don't think the simulation is intended as a proof (it never is), more like the coding clarified the solution. It is true that your method is simple and good

I don't think the simulation is intended as a proof (it never is), more like the coding clarified the solution. It is true that your method is simple and good enough, just that the most people might find it difficult to think in terms of abstract symbols.