Owen (proof)

NEVSNM