Aim (proof)

NEVSNM