The proof of the Emoji-theorem

written by student Gergely Tamás Nagy

So first a short introduction for the Emoji-theorem says that if we got variable 🧍‍♀️and variable 🧍 then

we have a so called algebraic Emoji-connection between those values such as if 🧍 ∈ E and 🧍‍∈ E then

from transitivity we can conclude that [f(🧍)+f(🧍‍) ] ∈ E

where we denote the real set of Emoji-numbers by E.

The theorem also concludes that:

🧍+ 🧍‍= 👶🧍‍which is the main statement of the theorem.

First problem: Whats the value of the coefficient 👶?

Altough this theorem was discovered by me I would like to name it after Damien the original founder
of the Emoji-theorem. The main goal of the Damien theorem is to prove that if:

🌑∈E and 🌕∈ E where 🌑and 🌕 are any integers of Emoji-number values then:

🌕+ 🌑=¿👶 🌑🌕 where 👶 ∈ E where E is the set of E and

+🌑
👶=
🌑

Proof of the Nisi-theorem:

let 🧍= 🌑∧¿ 🧍‍=🌕 then by the Emoji-theorem we get:

🌑+¿ 👶 🌑 🌕
thus:

🌑 ❑
+ =👶 🌕=1+ ❑
🌑 🌑 🌑
thus:

1 ❑ 1 1
+ =👶= +
❑ 🌑 ❑ 🌑

thus:
 1 1
👶= +
🧍 🧍 ‍♀️