theorem :: NATTRA_1:3

canceled;