Man kan således antaga , att939