bugün

teorem ortaya atılmadan önce onu kanıtlayacak olan ve teoremden önce ispatlanacak kanıtlatın kanıtıdır.