nbs

 

assume を参照してください。