theorem :: NATTRA_1:43

canceled;