Also, if p is necessary, then it is necessary that p is necessary.
همچنین اگر p ضروری باشد، ضروریست که p ضروری باشد.