twelve diminished by two​