take as an axiom

See: postulate