theorem :: NATTRA_1:44

canceled;