C 标准的哪些部分证明了整数类型对应关系？
Which sections of the C standard prove the integer type correspondence?
在 C11 的后期草稿之一 ([C11_N1570]) 中，我未能找到以下陈述的证明（我相信这些陈述是众所周知的），请参见下文。任何人都可以向我推荐证明以下句子的 C 标准的特定部分吗？ （或纠正我，如果我错了）
类型 short 与 signed short 相同（待办事项：link）。
类型 [[un]signed] short 与相应的 [[un]signed] short int 相同（TODO：link）。
类型 int 与 signed int 相同（待办事项：link）。
类型 long 与 long int 相同（待办事项：link）。
类型 [[un]signed] long 与对应的 [[un]signed] long int 相同（TODO：link）。
类型 long long 与 long long int 相同（待办事项：link）。
类型 [[un]signed] long long 与相应的 [[un]signed] long long int 相同（TODO：link）。
理想情况下，我更希望针对 C 和 C++ 回答这个问题，现在我对 C 感兴趣。
Link到C标准的在线HTML版本：section 6.7.2/2. Possibly, together with section 6.2.5/4.
Link 到 C++ 标准的在线 HTML 版本：[tab:dcl.type.simple].
在 C11 的后期草稿之一 ([C11_N1570]) 中，我未能找到以下陈述的证明（我相信这些陈述是众所周知的），请参见下文。任何人都可以向我推荐证明以下句子的 C 标准的特定部分吗？ （或纠正我，如果我错了）
类型 short 与 signed short 相同（待办事项：link）。
类型 [[un]signed] short 与相应的 [[un]signed] short int 相同（TODO：link）。
类型 int 与 signed int 相同（待办事项：link）。
类型 long 与 long int 相同（待办事项：link）。
类型 [[un]signed] long 与对应的 [[un]signed] long int 相同（TODO：link）。
类型 long long 与 long long int 相同（待办事项：link）。
类型 [[un]signed] long long 与相应的 [[un]signed] long long int 相同（TODO：link）。
理想情况下，我更希望针对 C 和 C++ 回答这个问题，现在我对 C 感兴趣。
Link到C标准的在线HTML版本：section 6.7.2/2. Possibly, together with section 6.2.5/4.
Link 到 C++ 标准的在线 HTML 版本：[tab:dcl.type.simple].