Kai
Problem 85 “Divisibility by Three Rule”
of 100 on
this list
now has a
formalisation
(
pdf
) and
proof
.