If with and fixed, then
Suggested 2019-05-27 by Blagoje Oblak
provided that in the case of (23.12.1) and (23.12.2). Also,
with similar results for and obtainable by use of (23.2.14).