したがって、"λ" が "t" のレゾルベント集合に含まれることは、