кажется, исходное утверждение попроще будет доказать. хотя они, разумеется, эквивалентны. сначала докажем, что если a^3+b^3 делится на 17, то a+b делится на 17. рассмотрим арифметику по модулю 17. из исходного утверждения имеем a^3 = - b^3 = (-b)^3. далее замечаем, что возведение в куб осуществляет биекцию остатков по модулю 17. это легко проверить руками, или заметить из общей теории, что группа по умножению обратимых по модулю 17 остатков - циклическая и имеет порядок 16, что не делится на 3. соответственно, из a^3 = (-b)^3 и из биективности куба немедленно следует a = -b, что и требовалось. аналогично для 23. осталось доказать, что если число делится на 17 и на 23, то оно делится и на 17*23 = 391. это чуть сложнее, но тоже делается.