proofs ......... infallible proofs 5039 -tekmerion->

~~~~~~