Also see Tourlakis (2003), Proposition III.10.1.
また Tourlakis (2003), Proposition III.10.1. も参照。