6.231

É propriedade da afirmação poder ser concebida como dupla negação.