theorem :: NATTRA_1:4

canceled;