Great observation. I didn't make it past the first problem, but I chose (c) as well. Reason being, that proof seems to have the least, shall we say, semantic depth (I'm just making up terms here). It invokes the least amount of meaning / refers to the fewest concepts per statement. Interestingly, not only is this a sign of having been produced automatically, it can often be a positive thing in terms of mathematical style.