* proofs , 5039 tekmerion ,
~~~~~~