static public void IsGroupProve(int[][] permutations)
{
string prove = WithoutRepetition.PermutationGroupFacts(permutations);
using (StreamWriter writer = new StreamWriter("log.txt", true))
{
WriteDate(writer);
WriteLine(writer, prove);
}
}