The hard proof is here!