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

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