Antagande den sednare satsens giltighet ,blir