Implemented and proved a basic Took-Cook polynomial multiplication algorithm correct