是。从减法的角度看，两个等式的结果都是3。这两个减法运算的结果是相同的。因此，虽然两个等式看起来形式不同，代表的减法运算结果是相同的，所以说是重复的。