Added divisibility expressed using truncated sigma