theorematical

not defined yet