An atomic WFF is either a sentential symbol or an application atomic WEE The idea of this theorem is that since it is easier to count than to construct the