S (a, b) = ( S (a - 1, b)
           [ S (a - 1, b)
           { S (a - 1, b)
           > S (a, b - 1)
           в каком-то порядке