Description: Obsolete version of spcegv as of 25-Aug-2023. (Contributed by NM, 14-Aug-1994) (Proof modification is discouraged.) (New usage is discouraged.)