theorem :: NATTRA_1:38

canceled;