theorem :: NATTRA_1:2

canceled;