an Entity in Data Space: dbkwik.webdatacommons.org
A theorem is a mathematical statement that has been proven. It can be used in proofs.