That a point exists is an assumption, and dimensions constructed.