using System;
public class Program
{
public static void Main()
Console.WriteLine(isPrime(2));
}
public static bool isPrime(int n)
// invariant: i = [2, n)
// termination conditions: i == n, n div. i
for (int i = 2; i < n; i++)
if (n % i == 0)
return false;
return true;