theorem :: BOR_CANT:11

canceled;