Na ██████████, uma █████ ████████ é uma █████ █████████ █████████ e █████ de ██████ um, sobre a qual ██████ um █████ ██████████ . Uma █████ ████████ é ████████ sobre um █████ e ████████ ██████ em , o ███████ ██████████ de ███████ mesmo. Se a ██████████████ do █████ ███ █████████ de e , █████ a █████ pode ser ████████ como uma █████ █████████ █████ que ████████ em ████████ para:
para ██████ ████████████ e em . █████-se que a █████ ████ ███ ████████, o que █████████ que a █████ ███ ██████ ████████ ou ███████████████. (Isto é ███████████ à ████████ , ou ████, ser um █████████ █████ de █████████ em .) ██████████, ███████-se que a █████ está ██████████ no █████ █████████, com o █████ █████ o █████ █████ no ████████. ██████ ██████ ███████ uma █████ ████████ ████████████ como uma █████ ████ por uma ███████ █████ █████. (Quando o █████ de ████████████ tem ██████████████ ou , a ███████ █████ ███ é █████ o ██████████ para ███████ █████ as ██████ ███████ ███ ██████████; ████ a █████ ██████ █████████ sobre um █████ █████ ██████.)
Uma █████ ████████ é uma █████████ ████████ — isto é, ela ██████ uma ███ de █████ ████████ ██████████████, em ███████ à qual é um █████ ████████ — e █████ como o ████████ ██████.
Se , onde é ████████ █████████ de ████ ████ em sem ██████ █████████, o ████████ de ████████ é uma █████ █████ ███ ████████ de ██████ um, ou ████, uma █████ ████████. Se tem ████ ██████ e é █████ de █████████, esta ███████ ████████ █████████ uma █████ █████ de ██████ um; no ███████, ███ ██████ uma ███████ ███████ de ████████ ██████. De █████ mais █████, ████████ █████ █████████ de ██████ um, por ███████ a ██████████ de ████ ███████████ █████████ ███████████ num ██████ █████████ ██████████████, é ███████ de █████ ████████, desde que ████ ████████ com um █████ ███████ para █████ como a ██████████.
██████ a ██████ das ███████ █████████, pode-se ███████ que as ██████ █████████ █████████ sobre os ███████ █████████ ████████████ a █████████ do ████ no █████ █████████ ████████. O ████ ██████ é um █████ ████████, e esta ███████████████ é ██████████ um ███████████ de ██████.
As ██████ █████████ ███ █████████████ ███████████ na ██████ dos ███████ e ██████████ uma ██████ ████ de ████████ █████; por ███████, elas foram ██████ na ████████████ do ██████ ███████ de ██████ por ██████ █████. Elas ██████ █████████ ██████████ na ████████████ de █████ ████████ (███) e na █████████ de ████████.
Uma █████ ████████ ███ é uma ██████ no ███████ de uma ██████ █████████, que tem ██████ ████: ████ ████████ ████████ para a ██████ do █████. No ███████, ██████ uma █████████████ ███████ de ██████ █████████ █████ com ██████████ de █████ como ███████ no █████ ███████████ . ███████████████, as ███████████ do ████████████ de █████████ com ███████████ █████████ ██████████████ por uma █████ ███████████ de ██████ █████████ ████████ as ███████ de ███████ em (███████ por ███████████ que █████████ a ██████████). ████ █████, as ███████████ ██████████ ██████ ███████ ███████████ as ██████ █████████ com , e ████████ ██████ em ████████ como um █████ ██████████ em ███████ a ████ █████ é de █████ █████ a ████ na █████ ████████ de ████ ███████ de ███████, ██████ ███████████ os █████ de ███████████ em ████ ██████████ █████████. ████, o ███████ do ████████████ █████ como a ██████████ em ████ █████ de ██████████.
███████████████, uma █████ ████████ ████████ é um ████, ████████ uma ██████ ████████ é uma ██████.