theorem :: XPRIMES2:3405

canceled;