Divisibility rule (#4757) - Basecamp