Formalism of Quantum Theory for Many Systems + First Bit Gates