Question:
Theorem prover's sign-off
Answer:

QED

Length:

3