90n

Higher tier only

Provide algebraic proof for statements about divisibility