确实是，要么三个数都是7的倍数，要么都不是。

存在系统推导的方法，据此可以找到所有的解。