As one more simple example of non-constructive proof consider this theorem: "not rational number raised to not rational number is not rational". We know it's n

As one more simple example of non-constructive proof consider this theorem: "not rational number raised to not rational number is not rational". We know it's not true because: http://www.math.hmc.edu/funfacts/ffiles/30002.3-5.shtml http://www.math.hmc.edu/funfacts/ffiles/30002.3-5.shtml