Formulation of Bound-state Theory in QFT and Precision Calculation