I would even say that under this assumption, a^8b^5 | c^3. You prove this in a way that is similar to how you prove the following fact. Suppose 2 boxes of size A fit into a box of size B and 3 boxes of size B fit into a box of size C. Then 4 boxes of size A and 5emptyboxes of size B fit into 3 boxes of size C.