for r being Real st r in the carrier of I[01] holds
1 - r in the carrier of I[01]