theorem :: SCM_HALT:58

canceled;