Prove mwov2_singleton.