one-sided proof

This document contains no images.