>>7866331There's no way that proof is acceptable. I thought you were supposed to actually show that a contradiction occurs, not to leave it to the reader.
Something simple like assume , then there would be no relationship so which is immediately a contradiction.
That proof is so trivial I cannot imagine it being anywhere other than an 'Intro to proofs for 5 year old clinically retarded kids' book so I don't see why the proof wouldn't clearly illustrate the contradictions this would yield.