El ███████ de ███ ████████ a un █████ de ███
A ████ █████ de ███, ███████ ███████ un ███████ de ███ que ███████ ██████████ la ██████████ █████ del █████. ████ se ████ como █████. Un █████ █████████ en un █████ de ███ █ se ████ ██████████ por la █████████ si ████████ lo █████████. ██████ ██(█) = ██, donde █, █ █████ en █. ████████ el █████ █████████ █ es ██████████ por la █████████ si, para █████████ ███████ █████████████ o █████████ █: █ → █ (████ █ es el ██████ █ o █), se ██████ █(█ ██)=(█ █)██, para ████ █ en █.
El ████████ de █████ los ██████ ███████████ en una ████████ █████████████ es un ███████ de ███ sobre █, donde el ████████ es el ████████ de ███. En un █████ de ███, los ██████ ███████████ ███████████ por la █████████ ██████ una ██████████, el ███████ de ███ ████████ a █, ████████ ████████████ por una █ ██████ (). Esta ███████ de ███ █ es ██████-███████████ (█████ la █████ █████████ que la ████████ █) lo que la ████ ███████████ a las ██████████ de █████████████. ████████████ █, uno █████ ███████ █████████ un ████████████ al █████ de ███ █. La ██████ de ██████████████ de los ██████ ███████ de ███ es el █████ █ ███ ██████████ ███████.
████ ████████████ █: █ → █ de ██████ de ███ ██████ un ████████████ entre las ████████ de ███ ████████████████ █ █ █. La ██████████ █|- > █ es un ██████.
████ ██████ █ en █ █████████ una █████ de █████ █: █ → █ ████ ████████ en ████ █████ █████ ████ por el █████ █████████ ██████████ por la █████████ ███████████████ a █
█ que █████ la █████████
para ████ █ █ █. La █████████ en el ████ ███████ es la ██████████████ de █████ en █. La █████████ ██████ de esta ███████ con la que es ██████ para la ███████ ███████████ █████████ la ██████████