Comment by rencrisa

It may be for this theorem there's a succinct description, but still needs to be checked carefully. However, there are others that are non-trivial.