Besonderhede van voorbeeld: -8817446235062109251

English

(Remember that for systems, “B” means “provable.”)

Spanish

(Recordemos que para los sistemas, “B” significa “demostrable”.)