~であるからこの式は~