Principle of protein crystallography