Formulation of Statistical Mechanics Based on Thermal Pure Quantum States | EKB DL