added sensible information to the introduction
added basic axioms by Dmitry and proof of IC theorem based on them