o.frange.345.xml

1 m1 S-1 ❨ⲓ(ⲏⲥⲟⲩ)ⲥ❩ⲓⲏⲥⲟⲩⲥ ⲡⲉ❨⊢ⲭ⊣(ⲣⲓⲥⲧⲟ)⊢ⲥ⊣❩ⲡⲉⲭⲣⲓⲥⲧⲟⲥ ⲛⲁ ⲛⲁⲛ
2 |g:rho-cross| ⲁⲛⲟⲕ ϥⲣⲁⲛⲅⲉ|g:middot| ⲉϥⲥϩⲁ⋰ⲓ⋱ⲉϥⲥϩⲁⲓ
3 ⲉϥϣⲓⲛⲉ|g:middot| ⲉⲛⲉϥⲙⲉⲣⲁⲧⲉ
3-4 ⊢ⲛ⊣∤ⲥⲛⲏⲩⲛ∤ⲥⲛⲏⲩ
4 ⲇⲁⲩⲉⲓⲇ ⲙ⊢ⲛ⊣ⲙⲛ ⲧⲁⲛⲁⲥⲧⲉ
4-5 ϯ∤ϣⲓⲛⲉ
5 ⲟⲛ ⲉⲡⲁⲥⲟⲛ ⲙⲱ⋰ⲩ⋱ⲥⲏⲥⲙⲱⲩⲥⲏⲥ ⲡⲉⲧⲛϣⲏⲣⲉ ϣⲏⲙ|g:middot|
5-6 ⲧⲉⲧ⊢ⲛ⊣ⲥⲁⲩ∤ⲛⲉⲧⲉⲧⲛⲥⲁⲩ∤ⲛⲉ
6 ϫⲉ ⲁ⋰ⲓ⋱ϫⲓⲁⲓϫⲓ ⲟⲩⲛⲟϭ ⊢ⲛ⊣∼ⲭⲱⲗⲏ∽ⲛχολή
7 ⲡⲛⲟⲩⲧⲉ ⲥⲟⲟⲩⲛ ϫⲉ|g:middot|
7-8 ⲉⲧⲉ∤ⲧ⊢ⲛ⊣ϯⲉⲧⲉ∤ⲧⲛϯ
8 ϩⲓⲥⲉ ⊢ⲙ⊣ⲡⲁϩⲏⲧⲙⲡⲁϩⲏⲧ ⊢ⲛ⊣ⲑⲉⲛⲑⲉ
9 ⊢ⲛ⊣⋰ⲓ⋱ⲱϩⲁⲛⲛⲏⲥⲛⲓⲱϩⲁⲛⲛⲏⲥ ⊢ⲙ⊣ⲡⲉϭⲱϣⲙⲡⲉϭⲱϣ
10 ⲙ⊢ⲛ⊣ⲙⲛ ⲧϣⲟⲩⲙⲁⲉⲣ ⲉⲧϯ ϩⲓⲥⲉ
11 ⲛⲁ⋰ⲓ⋱ⲛⲁⲓ ϣⲁ⋰ⲓ⋱ⲃⲱⲕϣⲁⲓⲃⲱⲕ ⲉⲡϣ⊢ⲙ⊣ⲙⲟⲉⲡϣⲙⲙⲟ
12 ϣⲁⲛⲧⲁⲙⲟⲩ