  We will give self-contained and detailed proofs of the (multidimensional)
Hastings factorization as well as a (1-dimensional) area law in a wider setup
than previous works. Especially, they are applicable to both quantum spin and
fermion chains of infinite volume as special cases.
