% SZS status Theorem for METRIC__SA
% SZS output start Proof for METRIC__SA
  file('i/f/topology/METRIC__SAME',ch4s_topologys_METRICu_u_SAME)).
  file('i/f/topology/METRIC__SAME',ah4s_topologys_METRICu_u_ZERO)).
% SZS output end Proof for METRIC__SA
