Da dedução Para a álgebra. C. Q. D. 2017, 10.