Stone's representation theorem