Question:
Efficiently stated, as a theorem
Answer:
Length:

7