Låtom oss till exempel antaga , atten