Description: Obsolete version of fvpr2g as of 26-Sep-2024. (Contributed by Alexander van der Vekens, 3-Dec-2017) (Proof modification is discouraged.) (New usage is discouraged.)