"Cantor-Bernstein implies Excluded Middle."

Pierre Pradic, Chad E. Brown (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics