Unused proposition.

Final result.

Back to Top