Quasiprove that polynomial multiplication is associative