o.frange.757.xml

1 m1 S-1 |g:rho-cross| ϩⲁⲑⲏ ∼ⲙⲉⲛ∽μέν ⊢ⲛ⊣ϩⲱⲃⲛϩⲱⲃ
2 ⲛⲓⲙ ϯϣⲓⲛⲉ
2-3 ⲉⲧⲉⲕⲙ⊢ⲛⲧ⊣∤ⲥⲟⲛⲉⲧⲉⲕⲙⲛⲧ∤ⲥⲟⲛ
3 , ⲉⲙⲁⲧⲉ|g:middot| ⲁⲣⲓ ⲡⲛ⊢ⲁ⊣ⲡⲛⲁ
3-4 ⲉ∤ϣⲱⲡⲉ
4 , ⲡⲥⲟⲉⲓϣ
4-5 ⊢ⲛ⊣ϭⲣⲟⲟⲙ∤ⲡⲉⲛϭⲣⲟⲟⲙ∤ⲡⲉ
5 ⊢ⲙ⊣ⲙⲁⲩⲙⲙⲁⲩ ∼ⲕⲁⲧⲁ∽κατά ⲑⲉ
5-6 ⊢ⲛ⊣ⲧⲁⲕ∤ϫⲟⲟⲥⲛⲧⲁⲕ∤ϫⲟⲟⲥ
6 ⲧⲁⲁϥ ⊢ⲛ⊣ⲥⲁⲃⲓⲛⲟⲥⲛⲥⲁⲃⲓⲛⲟⲥ
7 ⲛ⊢ϥⲛ⊣ⲧ⊢ϥ⊣ⲛϥⲛⲧϥ ⲛⲁ⋰ⲓ⋱ⲛⲁⲓ ⊢ⲛ⊣ⲧⲁⲧⲁⲁϥⲛⲧⲁⲧⲁⲁϥ
7-8 ⊢ⲙ⊣ⲡⲓ∤ⲛⲟϭⲙⲡⲓ∤ⲛⲟϭ
8 ⊢ⲛ⊣ⲣⲱⲙⲉⲛⲣⲱⲙⲉ ⲛ⊢ϥ⊣ⲕⲁⲁⲛϥⲕⲁⲁ