Syntax definition cgbo

Description: Extend the definition of a class to include the set of odd numbers which can be written as a sum of three odd primes.

	Ref	Expression
Assertion	cgbo	class GoldbachOdd