Mathematical Quantum Theory I