確かに外測度とか内測度なんて概念は重要ではないな。