theorem :: NATTRA_1:1

canceled;