o.frange.422.xml

1 m1 S-1 |g:rho-cross| ϣⲟⲣ⊢ⲡ⊣ϣⲟⲣⲡ ∼ⲙⲉⲛ∽μέν ⲙⲡⲁϣⲁϫⲉ
2 ⊢ⲛ⊣∼❨ⲉⲗⲁⲭ(ⲓⲥⲧⲟⲥ)❩∽ⲛἐλάχιστος ⲉ⋰ⲓ⋱ⲥϩⲁ⋰ⲓ⋱ⲉⲓⲥϩⲁⲓ ⲉ⋰ⲓ⋱ϣⲓⲛⲉⲉⲓϣⲓⲛⲉ
2-3 ⲉⲛⲁⲙⲉ∤ⲣⲁⲧⲉ
3 ⊢ⲛ⊣ⲥⲛⲏⲩⲛⲥⲛⲏⲩ ⊢ⲙ⊣ⲙⲁ⋰ⲓ⋱ⲛⲟⲩⲧⲉⲙⲙⲁⲓⲛⲟⲩⲧⲉ