Description: A contradiction concerning equality implies anything. (Contributed by Alexander van der Vekens, 25-Jan-2018)