Häraf följer såsom ett korollariumbehofvet