It’s not absolutely necessary, because SPF authenticates using the “hidden” (also known as “envelope”) from address and our system publishes these SPF records already.
However, it could help your deliverability in the long run if you append our MTAS to the existing SPF.
You can learn more about publishing an SPF record here.