theorem :: XPRIMES2:2730

canceled;