Template:Elementary nonbasic fact in