theorem :: NATTRA_1:40

canceled;