About: http://webisa.webdatacommons.org/70537651

Property	Value
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/ns/prov#Entity
http://www.w3.org/ns/prov#value	For let the unit CD be subtracted from BC; therefore DB is even. [VII. Def. 7] But AB is also even; therefore the remainder AD is also even. [IX. 24] And CD is an unit; therefore CA is odd. [VII. Def. 7] Q. E. D.
http://www.w3.org/ns/prov#wasQuotedFrom	tufts.edu