thus DataPart (Start-At (0,SCM+FSA)) = {} by COMPOS_1:30; :: thesis: verum