theorem :: BCIALG_6:51

canceled;