Estas afirmaciones deben ser demostradas usando los axiomas u otros teoremas ya demostrados.