７の倍数を見極めよ（1001ではないです）

（２）は静岡大学の問題．

場合分けしたり，必要と十分を分けて証明することもできると思いますが，「同値」にこだわりました．

5を掛けたところがカッコイイですね（笑）