Under strict constructivism in the tradition of Brouwer and Bishop, a proof that not-all-are-equalit...