theorem :: XPRIMES2:2405

canceled;