one short proof and one long proof