Description: Lemma for poseq and soseq . The function value of a sequene is either in A or null. (Contributed by Scott Fenton, 8-Jun-2011)