Example

With With Prove is not regular.