Example 37. Average tempo by formal approach