The basic identity proved