Proving threshold saturation for nonbinary SC-LDPC codes on the binary erasure channel