Construction axiom

axiom

Construction