Математические доказательства: Примеры и теории о свойстве относимости