theorem :: BOR_CANT:12

canceled;