take id E ; :: thesis: ( id E is bijective & id E is isometric & id E is midpoints-preserving & id E is Affine )
thus ( id E is bijective & id E is isometric & id E is midpoints-preserving & id E is Affine ) ; :: thesis: verum