Kanıtlar cr ye yapılmalıdır