theorem :: XPRIMES1:1550

canceled;