Early proofs of the impossibility of a fourth dimension of space