an unlikely source of the proof!