Om man antager , att de16