એન '≠ n "↔ (અ', 'બી' ', સી') ≠ (λ * અને" λ * "માં λ * સી"), λεR: ગણિતમાં ભાષાનો ઉપયોગ, અમે આ શરત તરીકે લખી શકાય છે.