theorem :: XPRIMES2:9405

canceled;