4. \( s: "Asal sayılar 1'den büyük doğal sayılardır." \) önermesi için aşağıdakilerden hangisi her zaman s ile denk bir önerme olur?