Embedding algebraic variety over $Z_p$ into a basic set.