axiom public under proposition 24 List Picture As a command %3 n0 axiom n2 euclid's-axiom n0->n2 n1 proposition n1->n0