varignons theorem

Input interpretation

Varignon's theorem