Craig's reaxiomatization theorem