Således kan man antaga,