theorem :: FUNCSDOM:21

canceled;