theorem :: NATTRA_1:45

canceled;