FIG. 9A is a top view, FIG. 9B is a cross-sectional view taken along a dashed line x-y in FIG. 9A, and FIG. 9C is a cross-sectional view taken along a dashed line o-p in FIG. 9A. In FIG. 9A, illustration of part of a thin film and the like is omitted.