Pythagorean diminished seventh