Clearly, yes
It's not clear to me. ;-) Why do you think it fair?
Clearly, if you took any two individuals from the
150-200 stroke range and put them together, they could not
possibly do any worse and almost certainly could shave quite
a few strokes (as you and Pete did) by combining their ideas.
Notice that TPR did not think it fair in
TPR(0,6)
(and others) where their rules stated:
There is also a special leaderboard for teams. There will be no prizes awarded to the best team, other than the admiration of your fellow golfers. If you are in a team, you can't also play individually.
Admittedly, it probably makes less difference at the sharp end of
the leaderboard. For example, though I would be honoured to pair
with Ton, I'm sure it would not improve our score one iota. :-)
Update: There is some luck involved on who you pair with. For example, pairing with pijll wouldn't have helped much because we both found the formula and both missed the symbolic reference trick. However, pijll or me pairing with Jasper or ambrus would be in the running for third place because one found the formula, the other the symref trick.