定理１ 定値写像は写像である。
定理２ 定値写像と空でない集合への任意の写像の合成写像は定値写像である。
定理３ 空でない集合からの任意の写像と定値写像の合成写像は定値写像である。
系 ４ 定値写像と定値写像の合成写像は定値写像である。
定理５ １点集合から空でない任意の集合への任意の写像は定値写像である。
系 ６ 自明群から空でない任意の集合への任意の写像は定値写像である。（自明群論研究会との 共同研究）
系 ７ 自明群から任意の群への任意の準同型写像は定値写像である。（自明群論研究会との 共同研究）
定理８ 空でない任意の集合から１点集合への任意の写像は定値写像である。
系 ９ 空でない任意の集合から自明群への任意の写像は定値写像である。（自明群論研究会との 共同研究）
系 １０ 任意の群から自明群への任意の準同型写像は定値写像である。（自明群論研究会との
共同研究）
証明は全て自明である。
讃えよ定値写像！定値写像なくして現代数学なし！
現代数学なくして現代文明なし！
∴定値写像なくして現代文明なし！
我ら定値写像の偉大なる働きに心より感謝を捧げるものなり。
定値写像研究会は自明数学研究 会の下部組織である。
定値写像研究会会員募集中！
現在会員数２名（代表：Ｔ山、会長：２９２４）
定値写像研究会会員募集中！
協賛団体 自明群 論研究会