dixons theorem