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