theorem :: FUZIMPL1:10

for fi being Fuzzy_Implication holds fi <= I_{1}