I think it's quite possible that he discovered it himself. My DD6 does subtraction this way too, and she has no other sources to learn it from. This is however similar to the "getting to the next 10 or 100" method in addition, which she might have learned from her teacher.