In the article we prove that a family of open n-hypercubes is a basis of n-dimensional Euclidean space. The equality of the space and the product of n real lines has been proven.