theorem :: SCM_HALT:57

canceled;