Template:Inputfactproofnotpresented