What theorem is this?

No.12447281 ViewReplyOriginalReport