us

 

assume を参照してください。