added the Weak_IVTQ lemma which is a stronger variant of  CoRN.ftc.StrongIVT.Weak_IVT