Kristall star, это не перебор, даже не умный перебор, а чистая эвристика, причём вытащенная из таких же программистов и информатиков, которые свои доказательства публиковали в интернетах.