2012-10-19-congruent-constant.ll 813 Bytes