Varignon's Theorem

Varignon:=proc() local A,M,i:

for i from 0 to 3 do   M[i]:= MidPt ( A[i],A[i+1 mod 4])   od:

ItIsParallelogram (   M[0],M[1],M[2],M[3]   ):

end: