[
^^
|
proof
]
proofs
Theodosios 40
(E/M IX)
Thomas 7
(E IX)
[
^^
|
prope
]