I don't know enough to proof this part.
@jonlemmon