Round-six lemma `monoSrc_G`