theorem :: NATTRA_1:39

canceled;