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