(補足)

statementは単文であって、複文じゃあない。

もともと if　の then blockに要求されているのは文法的には単文なわけ。

ところが、6.3に書かれているように compound-statementという複文の両端に　{ }をつけてcompound-statement扱いでき、
また、6の冒頭に書かれているようにcompound-statementがstatement扱いできるので、then blockにcompound-statementを書けるというだけ。

要するに、then blockにもともと要求されているのは文法的には、単文なわけ。

×　then blockでは、{ } をつけるのが正しくて中括弧は省略もできる
○　then blockに要求されてるのは単文。中括弧をつけて複文を単文化する文法が別途あるのでこの記法を用いればthen blockに複文も書ける。