Description: Nonfreeness implies the equivalent of ax-5 . See nf5r , nf5ri . (Contributed by BJ, 28-Jul-2023)