sizeof(T[N]) == (sizeof(T)*N) であることは規格で保証されていますか？

C++ だと sizeof の規定 5.3.3 p2 に "This implies that the size of an array of n elements is n times the size of an element." って
書いてあるんですが、 C の規格にそれっぽいのが見つかりません。 C++ のほうでも "This implies ..." とあるものの、このほかに
配列終端のパディングを禁止するような規定は見当たらない感じです。