theorem :: FUNCT_6:40

( <:{}:> = {} & Frege {} = {} .--> {} )