Foldy-Wouthuysen transformations in an indefinite-metric space. II. Theorems for practical calculations

Abstract
We present a number of theorems and lemmas which are useful in indefinite-metric spaces for explicitly calculating Foldy-Wouthuysen (FW) transformations, both as power-series expansions in c1 and as exact transformations. We mention two applications.