New: devils-theorem