another proof simplification
more simplification