برای .......... درستی گزاره"\(n^2 + 3n + 13\)به ازای هر عدد طبیعی \(n\)، عددی اول است"، می‌توان از روش .......... استفاده کرد.