Template:Elementary nonbasic fact