Fear of trains fear about rail travel was heightened after British surgeon John Eric Erichsen described a post-traumatic diagnosis known as railway spine or "Erichsen's disease". People diagnosed with this had no obvious injury and were rejected as fake. Nowadays it is known that traffic accidents may cause posttraumatic stress disorder. It has been variously called as "train phobia", "railroad phobia", "dread of railway travel", etc. The German term "Eisenbahnangst" used, e.g., by Sigmund Freud was literally converted into Greek as "siderodromophobia" (Eisen = sideron = iron, Bahn = dromos = way, Angst = phobos = fear). In cases when this anxiety exceeds
Irrational number if complex number exponentiation is used). An example that provides a simple constructive proof is The base of the left side is irrational and the right side is rational, so one must prove that the exponent on the left side, formula_17, is irrational. This is so because, by the formula relating logarithms with different bases, which we can assume, for the sake of establishing a contradiction, equals a ratio "m/n" of positive integers. Then formula_19 hence formula_20 hence formula_21 hence formula_22, which is a contradictory pair of prime factorizations and hence violates the fundamental theorem of arithmetic (unique prime factorization).