UD: the set of positive integers

Px: x is a prime

Ox: x is odd

Ex: x is even

Lxy: x is less than y

Txy: x times y is prime

Dxy: x is evenly divisible by y (x is divisible by y without remainder)

Using the above symbolization key, symbolize the following sentence in PL:

For each prime, there is a greater non-prime.