Mirimanoff también demostró lo siguiente: