Divisibility by Seven

Mentioned in post #7.