EisensteinPrime(m, n, ω) = m + ω n for (m element Z and n element Z and ω = 1/2 (-1 + i sqrt(3)) and (not exists_(EisensteinInteger(m_1, n_1, ω) ∧ EisensteinInteger(m_2, n_2, ω)) EisensteinInteger(m_1, n_1, ω) EisensteinInteger(m_2, n_2, ω) = EisensteinPrime(m, n, ω)))