theorem :: FUZIMPL4:1

N_CC = (AffineMap ((- 1),1)) | [.0,1.]