Revision Theoreme