theorem :: SRINGS_4:13

canceled;