theorem :: RELAT_1:40

field {} = {} ;