Description:e01an without virtual deductions. sylancr is also a form of e01an without virtual deduction, except the order of the hypotheses is
different. (Contributed by Alan Sare, 25-Jul-2011)(Proof modification is discouraged.)(New usage is discouraged.)