Question:
State formally
Answer:
Length:

7