o.frange.207.xml

1 m1 S-1 |g:rho-cross| ⲡⲉⲥⲛⲁⲩ|num:2|
2 ⊢ⲛ⊣ϣⲱ⊢ⲗ⊣ϩⲛϣⲱⲗϩ
2-3 ⲉⲧ∤ⲟⲩⲁⲃ⊢ϣ⊣ⲉⲧ∤ⲟⲩⲁⲃϣ
3 ⲡⲁⲥⲟⲛ
4 ⲫⲉⲣ
4-5 ⲡⲉⲛⲧⲁϥϣⲁⲗ∤ϩⲟⲩ
5 ⊢ⲛ⊣ⲧⲉϥϭⲓϫⲛⲧⲉϥϭⲓϫ
5-6 ⲁϥⲉ∤ⲣⲏⲧ
6 ⲛⲁ⋰ⲓ⋱ⲛⲁⲓ ⊢ⲛ⊣ⲟⲩⲙⲁϫⲉⲛⲟⲩⲙⲁϫⲉ
6-7 ⊢ⲛ⊣ⲣ̣∤ϣⲓⲛⲛⲣ∤ϣⲓⲛ
7 ϫⲉ ⲣⲱⲙⲉ ⊢ⲛ⊣ⲧⲁ⋰ⲓ⋱ⲛⲧⲁⲓ
8 ⊢ⲣ⊣ⲣ ⲗⲁϣⲁⲛⲉ
8-9 ϯⲛⲁ∤ϯ
9 ⲥ⊢ⲛ⊣ⲧⲉ|num:2|ⲥⲛⲧⲉ|num:2| ⊢ⲙ⊣ⲙⲁϫⲉⲙⲙⲁϫⲉ
9-10 ⊢ⲛ⊣∤ⲣϣⲓⲛⲛ∤ⲣϣⲓⲛ
10 ⲛⲁⲕ