in Theory and in Practice -- Regular Papers -- The Basic Theorem on Preconcept Lattices