wilkies theorem