なお、「プロトデビルン」という名称は当時のプロトカルチャー星間共和国によって名付けられたものであり、プロトデビルン自身がそのような呼称を用いる場面はない.
当時の