Tarkvaratootmise põhiteoreem on ambitsioonikas pealkiri, aga tegemist on niivõrd fundamentaalse asjaoluga, et väiksemat nimetust pole ka mõtet  kasutada. Pealegi, kui pokkeril võib oma  põhiteoreem olla, olgu siis ka tarkvaral.  Sõnastus siis: