The Strutinsky method and its foundation from the Hartree-Fock-Bogoliubov approximation at finite temperature