Respuesta :

If its undefined then its unknown so never

Never, because a theorem consists of defined terms only