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

...gIVT.Weak_IVT