Man kan antaga , att denstora