>>838
>では、そもそも上記の前提はありえないのではないですか?

たとえばγ_I= {α}とすればちゃんと成立するよ