Suggestions for hint and solution

I think the current solution is okay. But as you suggested, we can add another way to prove there's no solution to

using the matrix you mentioned above.

HyunjuKwon (talk)07:56, 24 March 2018